36 research outputs found
The late acquisition of a major difficulty of French inflectional orthography: The homophonic /E/ verbal endings
Full text link
Emergence of morphographical markers in written French: what children following a special education programme say about plurals
No full textGrammar in the early modern period
No full textIn its early modern sense, grammar is the art of speaking a particular language. However, pedagogical grammar should be distinguished from universal grammar, whose scope is theoretical. Early modern Europe also has a version of universal or general grammar, which transcends any particular language
MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
Get PDFWe present a simple Prolog prover for intuitionistic modal logics based on nested sequent proof systems. We have implemented single-conclusion systems (Gentzen-style) and multi-conclusion systems (Maehara-style) for all logics in the intuitionistic modal IS5-cube. While the single-conclusion system are better investigated and have an internal cut-elimination, the multi-conclusion systems can provide a counter model in case the proof search fails. To our knowledge this is the first automated theorem prover for intuitionistic modal logics. For wider us-ability of our system, we also implemented all classical normal modal logics in the S5-cube
